//
// DO NOT MODIFY THIS FILE - it is generated using templatec on Header.t
//
package lpg;

import java.io.PrintWriter;

class Header
{
    private PrintWriter out = null;

    public void setOut(PrintWriter pw)
    {
        out = pw;
    }

    public void run()
    {
        out.write("\f\n\n "); /* Header.t:1~3 */
        out.print(Control.HEADER_INFO); /* Header.t:3 */
        out.write(" "); /* Header.t:3 */
        out.print(Control.VERSION); /* Header.t:3 */
        out.write("\n\n"); /* Header.t:3~5 */
    }

}
